Functions and mappings

Results: 2485



#Item
191Computability theory / Process calculi / Π-calculus / Theory of computation / Function / Valuation / Logarithm / Μ operator / Primitive recursive function / Mathematics / Theoretical computer science / Functions and mappings

Recursive Session Types Revisited Ornela Dardha∗ School of Computing Science, University of Glasgow, UK Session types model structured communication-based programming. In particular, binary

Add to Reading List

Source URL: www.dcs.gla.ac.uk

Language: English - Date: 2014-07-25 10:12:01
192Set theory / Z notation / Predicate logic / Functions and mappings / S / Equivalence relation / Binary relation / Finitary relation / Zermelo–Fraenkel set theory / Mathematical logic / Mathematics / Logic

Are Collections Sets? Karen M. Wickett, Allen H. Renear Jonathan Furner Center for Informatics Research in Science and Scholarship

Add to Reading List

Source URL: www.asis.org

Language: English - Date: 2014-07-19 18:54:34
193Theoretical computer science / Mathematical logic / Theory of computation / Recursion / Primitive recursive function / Function / Μ operator / Fixed-point combinator / Mathematics / Computability theory / Functions and mappings

Lowness Properties and Approximations of the Jump Santiago Figueira ∗

Add to Reading List

Source URL: www.glyc.dc.uba.ar

Language: English - Date: 2007-07-08 19:58:00
194Functions and mappings / Exponentials / Function / Exponentiation / Mathematica / Graph of a function / Action / Mathematical software / Mathematics / Science

The Mathematica® Journal The Quantitation of Nonclassical Buffering Applying the Formal and General Approach to Problems in the Biological Sciences Jim Karagiannis

Add to Reading List

Source URL: www.mathematica-journal.com

Language: English - Date: 2015-01-22 13:38:19
195Theory of computation / Computability theory / Functions and mappings / Recursion / Function / Computable number / Compact space / Subspace topology / Sierpiński space / Topology / Mathematics / General topology

Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522

Add to Reading List

Source URL: www.paultaylor.eu

Language: English - Date: 2009-02-12 12:33:09
196XFX / Integral / Function / Functions and mappings / Mathematics / Ontario /  California

Excellence. NO EXCUSES! Excerpt: CROSSFUNCTIONAL EXCELLENCE: OPPORTUNITY #1

Add to Reading List

Source URL: tompeters.com

Language: English - Date: 2014-05-30 22:00:36
197Science / Linguistics / Speech recognition / Functions and mappings / Computational neuroscience / Long short term memory / Recurrent neural network / Evaluation of machine translation / BLEU / Mathematics / Computational linguistics / Neural networks

Show and Tell: A Neural Image Caption Generator Oriol Vinyals Google Alexander Toshev Google

Add to Reading List

Source URL: www.cv-foundation.org

Language: English - Date: 2015-05-25 21:19:13
198Functions and mappings / Analytic Hierarchy Process / Function / Integral / Thomas L. Saaty / Multi-criteria decision analysis / Analytic network process / Decision theory / Operations research / Mathematics

A METHOD FOR EVALUATION AND SELECTION OF C2X COMMUNICATION FUNCTIONS Gunther Schaaf Corporate Research, Robert Bosch GmbH Postfach, 70442 Stuttgart, Germany Tel: +, Fax: +, E-mail:

Add to Reading List

Source URL: www.simtd.de.

Language: English - Date: 2014-02-18 10:24:21
199Statistics / Statistical classification / Functions and mappings / Support vector machine / Convex optimization / Function / Convex function / Locally convex topological vector space / Least squares support vector machine / Convex analysis / Mathematical analysis / Mathematics

Combining Multi-class SVMs with Linear Ensemble Methods that Estimate the Class Posterior Probabilities Yann Guermeur LORIA-CNRS Campus Scientique, BP 239

Add to Reading List

Source URL: www.loria.fr

Language: English - Date: 2013-06-20 15:49:31
200Mathematical analysis / Functions and mappings / Elementary mathematics / Decision theory / Utility / Preference / Ultrafilter / Stone–Čech compactification / Measure / Mathematics / Topology / General topology

Topology and Markets Graciela Chichilnisky ` Editor Fields Institute Communications Volume 22, 1999

Add to Reading List

Source URL: chichilnisky.com

Language: English - Date: 2013-05-16 17:49:40
UPDATE